int i;
unsigned int a1,a2;
ptr = [rom bytes] + 0xA07E + 0x10;

for (i=0; i<0x3F; i++) {
	a1 = *ptr | *(ptr + 1) << 8;
	a2 = a1 + 0x88A0 - 0x7000;
	printf("%02X%02X -> %04X\n",*ptr,*(ptr+1),a2);
	ptr += 2;
}